Model theory deals with a branch of mathematical logic showing connections between a formal language and its interpretations or models. This is the first and most successful textbook in logical model theory. Extensively updated and corrected in 1990 to accommodate developments in model theoretic methods — including classification theory and nonstandard analysis — the third edit...(展开全部)

Lisette Model is an unsurpassed introduction to one of the twentieth century's most significant photographers--a woman whose searing images and eloquent teachings deeply influenced her students Diane Arbus, Larry Fink and many others. To mark the twenty-fifth anniversary of Model's death in 1983, Aperture is reissuing this classic, highly collectible 1979 monograph--the first b...(展开全部)

This is an up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians. Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide variety...(展开全部)

Model checking领域的权威书籍

SHIHO初!待望のメッセージ&フォトブック。元気の素、幸せのヒント、キレイの秘密がつまってる。今まで見せなかった、ありのままのSHIHO。ポジティブに生きるSHIHOからのメッセージ。

Model theory deals with a branch of mathematical logic showing connections between a formal language and its interpretations or models. This is the first and most successful textbook in logical model theory. Extensively updated and corrected in 1990 to accommodate developments in model theoretic methods — including classification theory and nonstandard analysis — the third edit...(展开全部)

A provocative meditation on race, Claudia Rankine’s long-awaited follow up to her groundbreaking book Don’t Let Me Be Lonely: An American Lyric Claudia Rankine’s bold new book recounts mounting racial aggressions in ongoing encounters in twenty-first-century daily life and in the media. Some of these encounters are slights, seeming slips of the tongue, and some are intentional ...(展开全部)

Claudia Rankine is an American poet and playwright born in 1963 and raised in Kingston, Jamaica and New York City. Rankine is the author of five collections of poetry, including "Citizen: An American Lyric" and "Don’t Let Me Be Lonely"; two plays including "The White Card," which premiered in February 2018 (ArtsEmerson and American Repertory Theater) and will be published with ...(展开全部)

索比，站在朱布尔拍卖台上的孩子。没有人要他，除了一位老乞丐。在神秘的老乞丐的抚育下，他逐渐成长。但他没有过去，没有前途，没有自由。这时的他，是一个奴隶。 老乞丐的秘密身份被暴露以后，索比带着一份极其珍贵的口信，要逃避警察追捕，逃上飞船。这时的他，是一个逃犯。 索比成了往来星际的自由贸易船员，成为西苏号贸易家族中的一员。他拥有一切，除了自由。这是的他，是一个囚徒。 索比返回故乡，与自己的家人重聚。阴谋和背叛等待着他，但他无所畏惧。因为，这时的他已经成为一名“银河系公民”。